منابع مشابه
Satellite Image Retrieval Based On Ontology Merging
With the rapid development of remote sensing platform and sensor technique, the amount of satellite images has frequently increased. In order to analyze, manage and retrieve spatial information, several techniques are used to improve the quality of retrieval systems and to perform semantic in the retrieval process. In this paper, we propose an ontology-based approach for semantic retrieving of ...
متن کاملInducing Probabilistic Programs by Bayesian Program Merging
This report outlines an approach to learning generative models from data. We express models as probabilistic programs, which allows us to capture abstract patterns within the examples. By choosing our language for programs to be an extension of the algebraic data type of the examples, we can begin with a program that generates all and only the examples. We then introduce greater abstraction, an...
متن کاملMerging and Aligning Ontologies in dl-Programs
The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top of description logic and thus some attractive features of ASP can be employed in the design of the Semantic Web architecture. In this paper we first generalize dl-programs by allowing multiple knowledge bases and then accordin...
متن کاملMerging Logic Programs under Answer Set Semantics
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the merging of these programs. Our formal techniques are based on notions of relative distance between the underlying SE models of the logic programs. Two approaches are examined. The first informally selects those model...
متن کاملMerging Belief Bases Represented by Logic Programs
This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic merging operators described in the framework of propositional logic. The study of these operators leads to a new definition of the consequence relation between logic programs which is based on the logic of Hereand-There brought by...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Eos, Transactions American Geophysical Union
سال: 1997
ISSN: 0096-3941
DOI: 10.1029/97eo00325